Recall that a linear map h:V→W can be extended linearly from the action on the basis.
We can represent the transformation by a matrix.
Example 9.1
Let V=P2 and W=R2 with the bases BV={1,1+x,1+x+x2}BW={(20),(−11)}
Let h:P2→R2 have this action on BV h(1)=(01)h(1+x)=(32)h(1+x+x2)=(−2−1)
Note that these coordinates are under E2, not BW
So, next we find the representation of these in terms of BW h(1)=h(1+x)=h(1+x+x2)=(01)=(32)=(−2−1)=1/2(20)+1(−11)5/2(20)+2(−11)−3/2(20)−1(−11)
So we have RepBW(h(1))RepBW(h(1+x))RepBW(h(1+x+x2))===(1/21)(5/22)(−3/2−1)
Concatenate these into one matrix (1/215/22−3/2−1)
This is the matrix representation of h with respect to BV, BW
If we have a vector in the domain v=c1⋅β1+c2⋅β2+c3⋅β3 and apply the transformation, h(c1⋅β1+c2⋅β2+c3⋅β3)==c1⋅h(β1)+c2⋅h(β2)+c3⋅h(β3)c1⋅(1/2⋅(20)+1⋅(−11))+c2⋅(5/2⋅(20)+2⋅(−11))+c3⋅(−3/2(20)−1(−11))
This can be regrouped to =(1/2c1+5/2c2−3/2c3)⋅(20)+(1c1+2c2−1c3)⋅(−11)
So the coordinate representation of h(v) is RepBW(h(v))=(1/2c1+5/2c2−3/2c31c1+2c2−1c3)=(1/215/22−3/2−1)BV,BW⎝⎜⎛c1c2c3⎠⎟⎞BV
The computation is performed by taking the dot product of the rows of the matrix with the column representing the input
Suppose that V and W are vector spaces with dimensions n and m with bases B=⟨β1,β2,...,βn⟩ and D and h:V→W is a linear map. If RepD(h(β1))=⎝⎜⎜⎜⎜⎛h1,1h2,1⋮hm,1⎠⎟⎟⎟⎟⎞...RepD(h(βn))=⎝⎜⎜⎜⎜⎛h1,nh2,n⋮hm,n⎠⎟⎟⎟⎟⎞
then RepB,D(h)=⎝⎜⎜⎜⎜⎛h1,1h2,1⋮hm,1h1,2h2,2⋮h2,m⋯⋯⋯h1,nh2,n⋮hm,n⎠⎟⎟⎟⎟⎞
is the matrix representation of h with respect to B and D
(Note the subscripts for the column vectors/matrix were omitted)
The matrix-vector product of an m×n matrix and a n×1 vector is defined as the following ⎝⎜⎜⎜⎜⎛a1,1a2,1⋮am,1a1,2a2,2⋮a2,m⋯⋯⋯a1,na2,n⋮am,n⎠⎟⎟⎟⎟⎞⎝⎜⎜⎛c1⋮cn⎠⎟⎟⎞=⎝⎜⎜⎜⎜⎛c1a1,1+⋯+cna1,nc2a2,1+⋯+cna2,n⋮cnam,1+⋯+cnam,n⎠⎟⎟⎟⎟⎞
If the number of columns in the matrix is not equal to the number of rows in the vector, the product is not defined.
Similarly, we can show that a matrix can be represented by a linear map.
For a given matrix H, determine its effect on a vector v and show that the map is linear.
Quick Summary
A linear map h:V→W is
one-to-one iff nullity(h)=0
onto iff rank(h)=dim(h)
If h:V→W is a linear map and dim V=dim W, the following are equivalent
h is an isomorphism
h is one-to-one
h is onto
nullity(h)=0
rank(h)=dim W
Matrix-vector product is used to change basis RepB,D(h)⋅RepB(v)=RepD(h(v))
Studying Matrices
(142536)⎝⎜⎛xyz⎠⎟⎞=(ab)
The number of columns of H is the dimension of h's domain and
the number of rows of H is the dimension of h's codomain
h:V→W is the zero map v↦0 if it is represented by the zero matrix for any basis
The rank of a matrix equals the rank of any map it represents
Proof
Suppose matrix H is m×n. Fix domain and codomain spaces V and W of dimension n and m with basis B=⟨β1,...,βn⟩ and D. Then H represents some linear map h whose range space is the span of {h(β1),...,h(βn)}. The rank of map h is the dimension of this range space.
The rank of the matrix is the rank of the column space, the span of {RepD(h(β1)),...,RepD(h(βn))}
Next check if the dimensions are equal.
Under the isomorphism RepD:WRm, 0=c1⋅h(β1)+⋯+cn⋅h(βn) iff 0=c1⋅RepD(h(β1))+⋯+cn⋅RepD(h(βn)).
Therefore, the size of the largest linearly independent subset of the range space equals the size of the largest linearly independent subset of the column space, so the two spaces have the same dimension.
Let h:V→W be a linear map represented by matrix H. Then: h is onto iff rank(h) = number of rows h is one-to-one iff rank(h) = number of columns
Proof
For onto half: rank(h)=rank(H) by previous theorem
dimension of W = number of rows in H
So rank(h) = number of rows ⟹dim(R(h))=dim(W)
But R(h)⊆dim(W), so if their dimensions are equal, they msut be equal sets.
The range space covers the entire codomain, so h is onto.
For one-to-one half:
A linear map is one-to-one iff dim(V)=dim(R(h))
The dimension of the domain is the number of columns of H and by the theorem the rank of H equals the dimension of R(h)
A linear map that is bijective is nonsingular and otherwise it is singular
A nonsingular linear map is represented by a square matrix.
A square matrix represents a nonsingular matrix iff it is a nonsingular matrix. → a matrix represents an isomorphism iff it is square and nonsingular
Proof
Assume h:V→W is nonsingular. Then for a matrix H, because h is one-to-one and onto, the number of rows equals the number of columns equals the rank of H, so it is square.
Next assume H is a square n×n matrix.
Matrix H is nonsingular ⟺ row rank is n⟺H's rank is n⟺h's rank is n, ⟺h is an isomorphism (dimension of domain and codomain are both n).
Example 9.3
The matrix (0−132)
is nonsingular (we can check by Gauss's Method or seeing that the rows are linearly indepenedent), so any map represented by this matrix is an isomorphism.
The matrix ⎝⎜⎛23−1120−215⎠⎟⎞
is singular (ρ2−2ρ1=ρ3), so a map represented by this matrix is a homomorphism that isn't an isomorphism.
To compute range and null space:
represent the map as H=RepEn,En(h)
The map can then be represented as RepEn,En(h)⋅RepEn(v)=RepEn(h(v))
If the map is onto, then there must be a solution for any RepEn(h(v)).
Row reduce to check.
If the map is one-to-one, the associated homogeneous system should only have the trivial solution.
Example 9.4
Consider the map h:R3→R3 ⎝⎜⎛xyz⎠⎟⎞h⎝⎜⎛xx+zx−z⎠⎟⎞
The basis vectors get mapped to ⎝⎜⎛100⎠⎟⎞h⎝⎜⎛111⎠⎟⎞⎝⎜⎛010⎠⎟⎞h⎝⎜⎛000⎠⎟⎞⎝⎜⎛001⎠⎟⎞h⎝⎜⎛01−1⎠⎟⎞
The matrix representing this map is thus ⎝⎜⎛11100001−1⎠⎟⎞
The mapping can be represented by this equation for input vector ⎝⎜⎛xyz⎠⎟⎞ and output vector ⎝⎜⎛abc⎠⎟⎞ ⎝⎜⎛11100001−1⎠⎟⎞⎝⎜⎛xyz⎠⎟⎞=⎝⎜⎛abc⎠⎟⎞
First check if there is a solution for any a,b,c ⎝⎜⎛11100001−1abc⎠⎟⎞∼⎝⎜⎛100000010a−a+b−2a+b+c⎠⎟⎞
This only has a solution if b+c=2a, so this is not onto.
In particular, the range space R(h)=⎩⎪⎨⎪⎧t⎝⎜⎛1/210⎠⎟⎞+s⎝⎜⎛1/201⎠⎟⎞∣t,s∈R⎭⎪⎬⎪⎫
The associated homogeneous system is when a=b=c=0, so the matrix is ⎝⎜⎛100000010000⎠⎟⎞
The solution set is non trivial, so it is not one-to-one.
In particular, the null space N(h)=⎩⎪⎨⎪⎧t⎝⎜⎛010⎠⎟⎞∣∣∣∣∣∣∣t∈R⎭⎪⎬⎪⎫
Example 9.5
Consider the map h represented by H=(122310)
This takes a 3-dimensional input and a 2-dimensional output, so for any a,b, (122310ab)∼(1001−32−3a+2b2a−b)
Since there clearly exists an input that maps to a,b, so this is onto.
To see if it is one-to-one, plug in a=b=0 and we get the solution set ⎩⎪⎨⎪⎧⎝⎜⎛3−21⎠⎟⎞z∣∣∣∣∣∣∣z∈R⎭⎪⎬⎪⎫
There is more than one solution, so it is not one-to-one
This is the nullspace; its dimension is 1. This could be determined by the fact that the output is 2-dimensional, so rank(h)=2, meaning the nullity is 3−2=1.